🔬 Refinement Types - matmat · Scour

WybeCoder: Verified Imperative Code Generation ⚔️Lean Tactics

arxiv.org·3d·

Programming Languages and Type Safety in the Era of LLMs 🦀Rust Macros

thecodedmessage.com·2d·

Cryptographic Provenance for LLM Inference 🛡️Archive Verification

commitllm.com·11h·Hacker News·

Writing a CHIP-8 Emulator from Spec 🎯Emulation Accuracy

log.beshr.com·20h·Hacker News·

bkr1297-RIO/rio-receipt-protocol: RIO Receipt Protocol — Cryptographic proof for AI actions. Open standard for tamper-evident receipts, hash-chained ledgers, and independent verification. 🔐CBOR

github.com·1d·Hacker News·

bqn-smt 🧮SMT Solvers

codeberg.org·3d·Lobsters·

From Custom Orchestration to LangGraph: Why the Framework Didn't Change My Architecture 🔗Topological Sorting

walsenburgtech.com·16h·Hacker News·

Age Verification on Systemd and Flatpak 🔒Secure Boot

cybrkyd.com·13h·Lobsters, Hacker News·

Show HN: Agent Orchestrator, a local-first Harness Engineering control plane 🏠Homelab Orchestration

news.ycombinator.com·5d·Hacker News·

From Static Findings to Working Exploits: Runtime Validation of 6 High-Profile MCP Servers ✅Archive Fixity

agentseal.org·4d·Hacker News, r/netsec·

For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry 🧮Theorem Proving

scitechdaily.com·4d·

AeroTherm-GPT: A Verification-Centered LLM Framework for Thermal Protection System Engineering Workflows ✅Formal Methods

arxiv.org·1d·

feat(e2e): agentic verification loop with MCP Playwright browser layer by informatico-madrid · Pull Request #128 🌐WASI

github.com·1d·Hacker News·

CAPTCHA that targets LLM reasoning, not human biology ⚡Proof Automation

cerno.sh·3d·Hacker News·

SAFE: Stepwise Atomic Feedback for Error correction in Multi-hop Reasoning ⚖️Verification Calculi

arxiv.org·1d·

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers 🧠Separation Logic

arxiv.org·1d·

OE-GOD/world-zk-compute: Cryptographic proof that AI models produce correct outputs. Verify ML inference with zero-knowledge proofs. REST API, Python/Rust/TS/Go SDKs, on-chain verification. 🧮Z3 Solver

github.com·5d·Hacker News·

Assertain: Automated Security Assertion Generation Using Large Language Models 🧪CBOR Fuzzing

arxiv.org·1d·

evointel-whitepaper/open-letter-to-anthropic.md at main · evo-hydra/evointel-whitepaper ✨Effect Handlers

github.com·4d·Hacker News·

EvoSkills: Self-Evolving Agent Skills via Co-Evolutionary Verification ⚡Incremental Computation

arxiv.org·1d·

Loading more...